unit quantifier

[数] 有界存在量词